In artificial intelligence and automated planning and scheduling, the Blackbox planning system is a planning system which unites SAT-based and Graph-based planning. It was developed by Henry Kautz and Bart Selman.